events: Add gdk_event_[gs]et_device_tool()
authorCarlos Garnacho <carlosg@gnome.org>
Tue, 6 Jan 2015 13:52:42 +0000 (14:52 +0100)
committerCarlos Garnacho <carlosg@gnome.org>
Wed, 6 Apr 2016 13:43:29 +0000 (15:43 +0200)
commit6d73e75153e3de80fa5bf0ca8fcc07d2a3a6fde7
treed054a74688653e09b98556f5211af86a303aaaba
parent5a25c5a9f2af96d2c7c086fa994d2de61cfe6e6d
events: Add gdk_event_[gs]et_device_tool()

This getter/setter will manage the tool pointer in GdkEventPrivate. The
setter should be most notably used by backends.
docs/reference/gdk/gdk3-sections.txt
gdk/gdkevents.c
gdk/gdkevents.h
gdk/gdkinternals.h